## Example makefile for compiling the documentation of
## "182101 VU 2.0 Timing Analysis for Safety-Critical Real-Time Systems".
## Please modify the macros LISTINGS and EPS_TO_PDF
## to satisfy your needs.
## (WCET, Vienna University of Technology)

MAIN = wcet_prot

LISTINGS = \
	./testfiles/bubblesort.ctsl \

EPS_TO_PDF = \
	./figures/epsdemo.eps \

BITMAPS = \
	./figures/perfdem_screenshot.png \

.SUFFIXES:
.SUFFIXES: .pdf .eps

all: $(MAIN).pdf

.eps.pdf:
	epstopdf $*.eps

$(MAIN).pdf: $(MAIN).tex $(EPS_TO_PDF:.eps=.pdf) $(BITMAPS) $(LISTINGS)
	pdflatex $<
#	pdflatex $<
#	pdflatex $<
# run pdflatex multiple times to get references always right

clean:
	rm -f $(MAIN).aux
	rm -f $(MAIN).log
	rm -f $(MAIN).toc
	rm -f $(MAIN).pdf

